right congruence

[数] 右同余